$\forall$$L$:Top List, $n$:$\mathbb{N}$$_{\mbox{\scriptsize $<\parallel$$L$$\parallel$+1}}$. $L$ $\sim$ (firstn($n$;$L$) @ nth\_tl($n$;$L$))